Logical framework - PDFSEARCH.IO - Document Search Engine

Logical framework
Results: 288

#	Item
41	Betting Boolean-Style: A Framework for Trading in Securities Based on Logical Formulas Lance Fortnow 1 Department of Computer Science, University of Chicago, 1100 E. 58th St., Chicago, IL 60637 Add to Reading List Source URL: dpennock.com
42	Twelf and Delphin Logic and Functional Programming in a Meta-Logical Framework Carsten Schurmann ¨ Add to Reading List Source URL: www.itu.dk - Date: 2004-04-08 18:53:27
43	Logical Framework for the project Intervention logic Overall objectives Add to Reading List Source URL: seagull2.euroregionbaltic.eu - Date: 2011-06-10 07:20:48
44	Superdeduction as a logical framework Guillaume Burel Nancy-Université (Université Henri Poincaré) & LORIA (UMR 7503 CNRS-INPL-INRIA-Nancy2-UHP) E-mail: Abstract Add to Reading List Source URL: www.ensiie.fr - Date: 2015-01-06 05:13:52
45	A REVISION-BASED LOGICAL FRAMEWORK FOR EVOLVABLE SOFTWARE Howard Barringer, David Rydeheard and Brian Warboys School of Computer Science University of Manchester Oxford Road Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2006-10-27 08:08:21
46	LOGICAL FRAMEWORK FOR THE PROJECT Intervention logic Objectively verifiable indicators of achievement Sources and means of verification Assumptions Overall objectives Please list them and number them. What are the over Add to Reading List Source URL: eaptc-ma.eu Language: English - Date: 2015-04-15 02:48:44
47	Victims’ Rights Working Group Annex: Sample Logical Framework for the ICC Victim Strategy Intervention logic Overall objective Add to Reading List Source URL: www.vrwg.org Language: English - Date: 2011-02-25 06:50:52
48	LOGICAL FRAMEWORK FOR THE PROJECT Intervention logic Objectively verifiable indicators of achievement Sources and means of verification Assumptions Overall objectives Please list them and number them. What are the over Add to Reading List Source URL: egypt-urban.net Language: English - Date: 2013-10-27 12:06:38
49	Short Talk: Celf – A Logical Framework for Deductive and Concurrent Systems Anders Schack-Nielsen and Carsten Sch¨ urmann IT University of Copenhagen Denmark Add to Reading List Source URL: www.itu.dk Language: English - Date: 2008-05-07 13:03:40
50	FINAL DRAFT - G-RAP-Revised Logical Framework - 21 December 2009 PROJECT NAME Ghana Research and Advocacy Programme (G-RAP) GOAL Add to Reading List Source URL: www.g-rap.org Language: English - Date: 2010-07-07 18:02:10